Daniel Kroening: mencari di tapak web Z-Library

Akses percuma kepada pengetahuan dan budaya.

Don't use scam websites

Buku (18)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Tahun:

2018

Bahasa:

english

Fail:

EPUB, 15.52 MB

0 / 5.0

english, 2018

2

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Tahun:

2018

Bahasa:

english

Fail:

EPUB, 13.56 MB

0 / 0

english, 2018

3

Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Tahun:

2008

Bahasa:

german

Fail:

PDF, 1.63 MB

0 / 0

german, 2008

4

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Springer International Publishing

Daniel Kroening, Corina S. Păsăreanu (eds.)

Tahun:

2015

Bahasa:

english

Fail:

PDF, 16.66 MB

0 / 0

english, 2015

5

Digitaltechnik — Eine praxisnahe Einfuhrung

Digitaltechnik — Eine praxisnahe Einfuhrung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Tahun:

2008

Bahasa:

german

Fail:

PDF, 2.45 MB

0 / 0

german, 2008

6

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 3.37 MB

0 / 0

english, 2011

7

Decision Procedures_ An Algorithmic Point

Decision Procedures_ An Algorithmic Point

Kroening, Daniel

Fail:

PDF, 3.72 MB

0 / 0

8

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.55 MB

0 / 5.0

english, 2009

9

Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Tahun:

2008

Bahasa:

german

Fail:

PDF, 1.59 MB

0 / 5.0

german, 2008

10

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 7.15 MB

0 / 0

english, 2009

11

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Springer-Verlag Berlin Heidelberg

Daniel Kroening, Ofer Strichman (auth.)

Tahun:

2016

Bahasa:

english

Fail:

PDF, 3.72 MB

0 / 0

english, 2016

12

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman

Tahun:

2016

Bahasa:

english

Fail:

PDF, 2.43 MB

0 / 0

english, 2016

13

Validation of Evolving Software

Validation of Evolving Software

Springer International Publishing

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.)

Tahun:

2015

Bahasa:

english

Fail:

PDF, 7.14 MB

0 / 0

english, 2015

14

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman

Tahun:

2008

Bahasa:

english

Fail:

PDF, 3.45 MB

0 / 0

english, 2008

15

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 3.24 MB

0 / 0

english, 2011

16

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Springer International Publishing

Daniel Kroening, Corina S. Păsăreanu (eds.)

Tahun:

2015

Bahasa:

english

Fail:

PDF, 34.03 MB

0 / 0

english, 2015

17

Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view

Daniel Kroening, Ofer Strichman, R.E. Bryant

Tahun:

2008

Bahasa:

english

Fail:

PDF, 2.20 MB

0 / 0

english, 2008

18

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Springer International Publishing

Dimitra Giannakopoulou, Daniel Kroening (eds.)

Tahun:

2014

Bahasa:

english

Fail:

PDF, 15.10 MB

0 / 0

english, 2014